In the paper we study the method of Socratic proofs in the intuitionistic propositional logic as a reduction procedure. Our approach consists in constructing for a given sequent α a finite tree of sets of sequents by using invertible reduction rules of the kind: ? is valid if and only if ?1 is valid or... or ?n is valid. From such a tree either a Gentzen-style proof of α or an Aristotle-style refutation of α can also be extracted.

This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world (...) semantics of quantum counterfactuals using David Lewis's famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactuals semantics to strengthen Bell's theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell's theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation. (shrink)

Quantum mechanics tells us that states involving indistinguishable fermions must be antisymmetrized. This is often taken to mean that indistinguishable fermions are always entangled. We consider several notions of entanglement and argue that on the best of them, indistinguishable fermions are not always entangled. We also present a simple but unconventional way of representing fermionic states that allows us to maintain a link between entanglement and non-factorizability.

Axiomatic proof/refutation systems for the paraconsistent modal logics: KN4 and KN4.D are presented. The completeness proofs boil down to showing that every sequent is either provable or refutable. By constructing finite tree-type countermodels from refutations, the refined characterizations of these logics by classes of finite tree-type frames are established. The axiom systems also provide decision procedures for these logics.

A general theory of refutation systems is given. Some applications (concerning maximality and minimality in lattices of logics) are also discussed.

The purpose of the paper is to study syntactic refutation systems as a way of characterizing normal modal propositional logics. In particular it is shown that there is a decidable modal logic without the finite model property that has a simple finite refutation system.

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk''s logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk's logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.

The goal of this paper is to generalize specific techniques connected with refutation rules involving certain normal forms. In particular, a method of axiomatizing both a logic L and its complement −L is introduced.

In Section 2 I give a criterion of decidability that can be applied to logics (i.e. Tarski consequence operators) without the finite model property. In Section 3 I study ukasiewicz-style refutation procedures as a method of obtaining decidability results.This method also proves to be more general than Harrop's criterion.

A sufficient condition for an extension of positive logic with strong negation to be characterized by a class of finite trees is given.

The goal of this paper is to analyse Implicational Relevance Logic from the point of view of refutability. We also correct an inaccuracy in our paper “The RM paraconsistent refutation system”.

The purpose of the paper is to make a few remarks on the following aspects of refutation rules: a characteristic property of a logic, elegant and constructive completeness proofs. In particular a new constructive completeness proof for the provability logic G is given.

The aim of this paper is to study the refutation system consisting of the refutation axiom p ∧ ¬p → q and the refutation rules: reverse substitution and reverse modus ponens (B/A, if A → B ∈ RM). It is shown that the refutation system is characteristic for the logic of the 3-element RM algebra.

This volume contains papers presented at the Poznań Reasoning Week multi-conference held in Poznań in September 11-15, 2018. PRW aims at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling. The 2018 edition consisted of three conferences, which addressed the following topics: (i) games in reasoning research, (ii) the interplay of logic and cognition, and (iii) refutation systems. The papers collected in this volume address all these topics.

A cross-cultural survey experiment revealed a dominant tendency to rely on a rule’s letter over its spirit when deciding which behaviors violate the rule. This tendency varied markedly across (k = 15) countries, owing to variation in the impact of moral appraisals on judgments of rule violation. Compared with laypeople, legal experts were more inclined to disregard their moral evaluations of the acts altogether and consequently exhibited stronger textualist tendencies. Finally, we evaluated a plausible mechanism for the emergence of textualism: (...) in a two-player coordination game, incentives to coordinate in the absence of communication reinforced participants’ adherence to rules’ literal meaning. Together, these studies (total n = 5,794) help clarify the origins and allure of textualism, especially in the law. Within heterogeneous communities in which members diverge in their moral appraisals involving a rule’s purpose, the rule’s literal meaning provides a clear focal point—an identifiable point of agreement enabling coordinated interpretation among citizens, lawmakers, and judges. (shrink)

Cet article vise à présenter les principales étapes de l’histoire des traductions polonaises des dialogues de Platon, qui sont intimement liées à l’histoire de la Pologne et à la renaissance de la vie académique dans l’entre-deux-guerres. L’attention se porte en particulier sur les travaux de traductions de F.A. Kozłowski, A. Bronikowski, S. Lisiecki et W. Witwicki, qui représentaient diverses approches et appliquaient des méthodes différentes pour rendre les textes de Platon en polonais. Le développement de cette série de dialogues accessibles (...) au public polonais dans différentes traductions a suscité des discussions sur les méthodes mêmes pour rendre Platon. Chaque nouveau dialogue était discuté et examine par les philologues classiques, les enseignants, les spécialistes de littérature, et même les théologiens, et seulement accessoirement par les philosophes. Bien que de nouvelles traductions de Platon commencent de plus en plus à apparaître, les productions anciennes, en particulier celles de Witwicki, restent populaires et sont encore largement lues. (shrink)

In their philosophical projects that address the concept of law, Immanuel Kant, Johann G. Fichte, and Georg W. F. Hegel all employ transcendental argumentation to demonstrate the sovereignty of community and the existence of power. They do this in the attempt to conceptually ground the idea of freedom and reconcile it with the notion of coercion within the framework of the idea of positive law. This article focuses solely on the Kantian project, since the approaches of Fichte and Hegel take (...) on a more speculative turn in addition to their transcendental form. (shrink)

W artykule autor przedstawia dorobek o. Ziemiańskiego SJ na polu metafizyki. Okazją do tego był jubileusz 90. urodzin, z którego perspektywy można pełniej docenić wkład Jubilata w tę dziedzinę filozofii. Prezentację rozpoczyna przybliżenie kontekstu historycznego kształtowania się myśli filozoficznej o. Ziemiańskiego, gdzie podstawową rolę odegrała filozofia tomistyczna, skoncentrowana w ówczesnych polskich realiach na dyskusji z marksizmem. Dyskusja ta nie sprowadzała się wyłącznie do odkrywania ograniczeń i krytyki marksizmu. Przedstawiciele tomizmu proponowali własną interpretację rzeczywistości, odznaczającą się większym realizmem i bardziej przekonującą (...) racjonalnością. Kolejny punkt poświęcony został koncepcji metafizyki o. Ziemiańskiego, nawiązującej do tradycji arystotelesowsko-tomistycznej, wzbogaconej elementami zaczerpniętymi ze współczesnych kierunków filozoficznych oraz nauk szczegółowych. Pośród najbardziej charakterystycznych cech tego ujęcia wskazano oparcie na doświadczeniu i zorientowanie na byt realnie istniejący, metodę _abstractio totius_, poznawczy realizm i maksymalizm, jak też ukierunkowanie na poznanie bytu absolutnego. W dalszej kolejności omówiono wkład Ziemiańskiego w interpretację kluczowych zagadnień metafizycznych, takich jak transcendentalia, przygodność, celowość czy struktura bytu. Podkreślono, iż opowiadał się on za egzystencjalną naturą transcendentaliów, a przez to ich niesprowadzalnością do pojęć uniwersalnych. Ponadto, w ciekawy sposób przedstawił specyfikę relacji wiążącej byt przygodny z bytem koniecznym, jak również uzasadnienie konieczności istnienia przyczyny celowej oparte na analizie wewnętrznej struktury bytu. Ważnym jego wkładem do refleksji nad strukturą bytu było także opracowanie problematyki relacji w ujęciu F. Suareza oraz ukazanie funkcjonalnych aspektów złożenia bytu z istoty i istnienia. W zakończeniu odnotowano wnioski koncentrujące się na znaczeniu metafizyki jako bazowej dziedziny poznania filozoficznego. (shrink)

I will argue that physicians have an ethical obligation to justify their conscientious objection and the most reliable interpretation of the Polish legal framework claims that conscientious objection is permissible only when the justification shows the genuineness of the judgment of conscience that is not based on false beliefs and arises from a moral norm that has a high rank. I will demonstrate that the dogma accepted in the Polish doctrine that the reasons that lie behind conscientious objection in medicine (...) cannot be evaluated or controlled by anyone is based either on a mistaken interpretation of the Constitution or on the unreliable concept of conscience. I will refer to the legal regulations concerning military refusals that require from objectors to reveal and justify their views. Finally, I will demonstrate why conscientious objection under uncertainty does not deserve acceptance, because it is based on a specific version of the precautionary principle. (shrink)

We study the monadic fragment of second order intuitionistic propositional logic in the language containing the standard propositional connectives and propositional quantifiers. It is proved that under the topological interpretation over any dense-in-itself metric space, the considered fragment collapses to Heyting calculus. Moreover, we prove that the topological interpretation over any dense-in-itself metric space of fragment in question coincides with the so-called Pitts' interpretation. We also prove that all the nonstandard propositional operators of the form q $\mapsto \exists$p ), where (...) F is an arbitrary monadic formula of the variable p, are definable in the language of Heyting calculus under the topological interpretation of intuitionistic logic over sufficiently regular spaces. (shrink)

According to latitudinarianism, S’s belief that x is F is about x solely in virtue of S’s believing a proposition that ascribes F- ness to x. Saul Kripke (2011b) has recently objected to this view by arguing that it entails that S believes of arbitrary objects that they are F. In this paper I revisit Ernest Sosa’s (1995a, 1995b) notion of associative aboutness to put forward a novel account of mental reference, called ‘associative exportation,’ that evades the troublesome consequence pointed (...) out by Kripke, while preserving the spirit of latitudinarianism. In particular, the proposed view: (1) does not invoke any form of acquaintance with the object of belief; (2) validates a weak reducibility thesis of de re belief to de dicto; (3) is compatible with the observation that our unreflective aboutness judgments are latitudinarian; (4) offers new insights about the notorious tallest- spy objection. (shrink)

Traditional views concerning musical meaning, in the field of philosophy, quite often oscillate around the discussion of whether music can transfer meaning (and if so if it happens by a means similar to language). Philosophers have provided a wide range of views – according to some, music has no meaning whatsoever, or if there is any meaning involved, it is only of a formal/structural significance. According to the opposing views, music can contain meaning similarly to language and what is more, (...) sometimes it can be even richer than language, as in music we are – arguably – able to encode “emotional meanings”. In recent years, several approaches – also speculative – to the old philosophical question have been proposed by evolutionary psychologists, one of the most controversial views being that of Stephen Pinker’s famous metaphor for music as “auditory cheesecake”. This anti-adaptationist view has been challenged f. ex. by Geoffrey Miller or Ian Cross. In this chapter, I enlist some main philosophical views on the titular problem and investigate some evolutionary-paradigm-based propositions for its solution, to examine whether – both from explanatory and methodological standpoints – the philosophy of music could gain something from recent developments in evolutionary psychology. (shrink)

Die Breslauer Sprechbühnen wiesen in der Zeit des Nationalsozialismus Tendenzen auf, die für das gesamte Theaterleben Deutschlands charakteristisch waren. Die politische Instrumentalisierung der dramatischen Kunst, wie des ganzen literarischen Lebens, resultierte aus dem zentralen, von dem Reichsministerium für Volksaufklärung und Propaganda postulierten Programm, das den Theatern außcrästhetische Propaganda- und F.rziehungsaufgabcn zuschrieb. Die Hauptfrage - nach der Spielplangestaltung - traf auch für die wichtigsten Verfasser der damaligen Literatur zu, zu denen sicher der eng mit der schlesischen Provinz verbundene Gerhart Hauptmann gehörte. (...) Seine Stellung nach dem Jahre 1933 war keineswegs eideutig und sie bestätigte nur die komplizierten Verhältnisse zwischen ihm und dem Regime, das aus Propagandagründen sein Schaffen selektiv akzeptierte. In den ersten Jahren nach der Machtergreifung spielten deutsche Theater nur wenige Stückre Hauptmanns, in Breslau sogar keine. Erst 1935 brachte das Lobetheater die Aufführung der Komödie Der Biberpelz. Zwei Jahre später spielte man im Breslauer Schauspielhaus, das seit 1936 die einzige Sprechbühne war, das Drama Michael Kramer. In Anwesenheit des Dichters fand hier auch die Uraufführung des Filmes Der Biberpelz statt. 1938 gastierte mit einem eigenen Ensemble der Staatsschauspieler Paul Wegener mit der Inszenierung von Kollege Crampton in Breslau. Erst zwei Jahre später nahm das Theater in Breslau Hauptmanns Werk wieder in das Repertoire auf. Die Aufführung des Schauspiels Elga, dessen Motive aus Grillparzers Drama entnommen wurden, verursachte heftige Proteste mancher Regime-Ideologen wegen der polnischen Thematik des Dramas. Im Jahre 1941 inszenierte das Breslauer Schauspielhaus das Stück Der Bogen des Odysseus, im März 1942 die Tragödie Rose Bernd. Eine besondere Bedeutung kommt dem 80. Jubiläum des Dichters zu. Die zentralen Feierlichkeiten dazu wurden von der Theaterabteilung des Goebbelschen Propagandaministeriums nach Breslau verlegt. Nach zahlreichen Kontroversen und Abstimmungen beschloß man im Schauspielhaus 4 Dramen zu spielen: Michael Kramer, Die Tochter der Kathedrale, Und Pippa tanzt und Der Biberpelz. Hauptmann verlieh man auch den Schliesischen Literaturpreis. Außerdem wurde er zum Ersten Ehrenbürger der Friedrich-Wilhelm-Universität ernannt. Das Deutsche Institut der Breslauer Universität veröffentlichte aus diesem Anlaß ein dem Jubilar gewidmetes Gedenkblatt, das verschiedene Aspekte seines Schaffens zum Thema hatte. Auch das Reichspropagandaamt Schlesien bereitete eine Broschüre vor, die das Interesse der Partei betonen sollte. Die Krönung des Jubiläums war die Gesamtausgabe von Hauptmanns Werken, deren erstes Exemplar dem Dichter überreicht wurde. Unter den zahlreichen Wünschen, die Gerhart Hauptmann zu seinem Geburtstage bekam, befanden sich auch Telegrammme von Hitler, Goebbels und Schlösser. Das letzte in Breslau inszenierte Drama Hauptmanns war Imphigenie in Delphi, dessen Erstaufführung am 5. Dez. 1943 im Schauspielhaus stattfand. (shrink)

Sights of gothic cathedrals in Zygmunt Krasiński’s letters are proves of his great and deep fascination of medieval times. Following the examples of Goethe, Chateaubriand, and Friedrich he defines beauty of gothics churches. Such conact with a monumental architecture seems to be a pretext to estetic and philosophical reflections. Not only did he touch a matter of light in order to show the organic style of architecture, but also emphazised the importance of this case in creating a special style. View (...) of the church remains have got also some kind of a metaforic meaning fог the times that passed by and a symbol of previous generations. It makes us think about the significance of our life. (shrink)

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an F_σ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over ∅. As an easy conclusion of our main theorem, we get the main result of [K. Krupiński, A. Pillay and T. Rzepecki, Topological dynamics and (...) the complexity of strong types, Israel J. Math.228 (2018) 863–932] which says that for any strong type defined on a single complete type over ∅, smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the paper mentioned above about bounded quotients of type-definable subgroups of definable groups. (shrink)

In this paper we show that if the real line \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\Bbb R}$\end{document} is not a union of less than continuum many of its meager subsets then there exists an almost continuous Sierpiński–Zygmund function having a perfect road at each point. We also prove that it is consistent with ZFC that every Darboux function \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $f\colon{\Bbb R}\to{\Bbb R}$\end{document} is continuous on some set (...) of cardinality continuum. In particular, both these results imply that the existence of a Sierpiński–Zygmund function which is either Darboux or almost continuous is independent of ZFC axioms. This gives a complete solution of a problem of Darji [4]. The paper contains also a construction (in ZFC) of an additive Sierpiński–Zygmund function with a perfect road at each point. (shrink)

Tomasz Ignacy Szpot Dunin SJ w swoim dziele poświęconym historii Chin nie ominął postaw znaczących chińskich dowódców w okresie przełomu historycznego jakim był upadek dynastii Ming i jej zastąpienie przez mandżurską dynastię Qing. Jednym z nich był Wu Sangui, który początkowo wspierał Mingów w walce z zewnętrznymi i wewnętrznymi wrogami, by w kluczowym momencie przyczynić się do powodzenia najazdu mandżurskiego, a po niemal trzech dekadach działania pod zwierzchnością nowej dynastii wypowiedzieć jej posłuszeństwo i stanąć na czele tzw. Rebelii Trzech (...) Lenników. Sprawa ta była znana w Europie i stała się nawet przedmiotem zainteresowania literackiego w XVIII w. Szpot Dunin nie poddaje się w swoim opisie skrajnym tendencjom, umiejętnie rozważa okoliczności decyzji i przedstawia zniuansowany, ale jednocześnie wyrazisty obraz postaci Wu Sangui, jego zamiarów i niepowodzeń. (shrink)

This landmark work provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the "new theory of reference" and non-linguistic necessity and essentialism to "Kripke semantics.".

In the late 2010s, various international committees, expert groups, and national strategy boards have voiced the demand to ‘open’ the algorithmic black box, to audit, expound, and demystify artificial intelligence. The opening of the algorithmic black box, however, cannot be seen only as an engineering challenge. In this article, I argue that only the sort of transparency that arises from critique—a method of theoretical examination that, by revealing pre-existing power structures, aims to challenge them—can help us produce technological systems that (...) are less deceptive and more just. I relate the question of AI transparency to the broader challenge of responsible making, contending that future action must aim to systematically reconcile design—as a way of concealing—with critique—as a manner of revealing. (shrink)

In this paper we study symmetric inference systems (that is, pairs of inference systems) as refutation systems characterizing maximal logics with certain properties. In particular, the method is applied to paraconsistent logics, which are natural examples of such logics.

Palliative care and euthanasia have become the subject of ethical and political debate in Poland. However, the voice of nurses is rarely heard. The aim of this study is to explore the perception of palliative care and euthanasia among recent university bachelor degree graduates and experienced nurses in Poland. Specific objectives include: self-assessment of the understanding of these terms, recognition of clinical cases, potential acceptability of euthanasia, and an evaluation of attitudes towards palliative care and euthanasia. This is an exploratory (...) study. A convenience sample of 206 recent graduates and 252 experienced nurse practitioners were interviewed. A structured questionnaire was used for collecting and interpreting data. Subjective perception of the terms `palliative care' and `euthanasia' was high and consistent with the recognition of clinical cases. The majority of the nurses excluded euthanasia from palliative care. They recognized personal philosophy of life as the most influential factor affecting attitudes towards euthanasia. The importance of the law was valued more highly by the experienced nurses. (shrink)